projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d3011b) | patch
build: more adjustments to top-level Makefile dependencies
authorWei Liu <wei.liu2@citrix.com>
Fri, 19 May 2017 11:55:26 +0000 (12:55 +0100)
committerWei Liu <wei.liu2@citrix.com>
Fri, 19 May 2017 13:31:53 +0000 (14:31 +0100)
commit728d21b29b48f6c45a8e3677e62bd4655d8f737b
treef9688a4618b12efb6c5e3a5287dfdeba7fbfdc21tree | snapshot
parent9d3011bd1cd29f8f3841bf1b64d5ead9ed1434e8commit | diff
build: more adjustments to top-level Makefile dependencies

In the original code, top-level dist target unconditionally invokes
dist target for tools/include, which is wrong when tools component is
not enabled.

Make dist-tools depend on dist-tools-public-headers, which depends on
build-tools-public-headers.

Discovered by Travis-CI.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
elease-acked-by: Julien Grall <julien.grall@arm.com>
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.